Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
271	Poster Presentation: Abstract Interpretation-based Mobile Code Certification? Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 SIP, Complutense University of Madrid, Fac. de Inform´ Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-12-09 05:03:31 Software engineering Logic in computer science Assertion Debugging Abstract interpretation Principles of Programming Languages Verification Software development process Computer programming Computing Formal methods
272	Entangled abstract domains for higher-order programs Shuying Liang Matthew Might Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:12 Mathematics Structure Abstract interpretation Interpretation Cardinal number Metaphilosophy Model theory Logic Symbol
273	The APRON library for Numerical Abstract Domains Bertrand Jeannet1 , Antoine Min´e2 , and al 3 1 INRIA Add to Reading List Source URL: apron.cri.ensmp.fr Language: English - Date: 2008-04-14 14:42:56 Computing SAS Polyhedron R Principles of Programming Languages Statistics Software Abstract interpretation
274	APRON: Numerical Program Analysis http://apron.cri.ensmp.fr/ ´ ´ ´ Add to Reading List Source URL: apron.cri.ensmp.fr Language: English - Date: 2006-11-10 05:55:36 Abstract interpretation Polyhedron
275	A Hybrid Approach for Proving Noninterference of Java Programs Ralf Küsters∗ , Tomasz Truderung∗ , Bernhard Beckert† , Daniel Bruns† , Michael Kirsten† and Martin Mohr† ∗ University of Trier, Germany Email Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-07 09:31:03 Applied mathematics Formal verification Logic in computer science KeY Abstract interpretation Modal logic Predicate transformer semantics Theoretical computer science Formal methods Logic
276	cXprop Postpass optimization for TinyOS applications Nathan Cooprider John Regehr Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2006-04-25 15:41:36 Procedural programming languages Compiler construction Compiler optimizations Programming language implementation TinyOS Patrick Cousot NesC Abstract interpretation Static single assignment form Computing Software engineering Programming language theory
277	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-08-12 12:15:34 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
278	CURRICULUM VITÆ Personal Information ´ ro ˆ me Last Name: FERET First Name: Je Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-08 09:17:10 Face recognition Grandes écoles FERET Programming language theory Écoles Normales Supérieures École Normale Supérieure Static program analysis Software engineering Artificial intelligence Abstract interpretation Astrée Patrick Cousot
279	Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Structure Interpretation First-order logic Symbol Permutation Signature Parity of a permutation Combinatorial species Mathematics Model theory Logic
280	« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-05-01 14:30:35 Applied mathematics Knowledge Abstract interpretation Software engineering Formal verification Software verification Software development process Computer science System Science Formal methods Patrick Cousot

UPDATE